linear programming, dynamic programming, mathematical modeling/programming, constraint programming, integer programming, operation research, graph theory and ...
advanced algorithm design
advanced algorithms
complexity analyzing
exam scheduler
Hamiltonian-cycle problem
maximal independent set
maximal match
maximal SAT
minimal vertex covering
non-linear data compression
NP-complete problem solving
optimal matches
optimal path
SAT solver
searching in varied context
set-covering problems
sokudo game
www.opsolver.com - 2009-02-10
